| 1. | By complexity Mirowski means something analogous to Computational complexity theory in computer science.
Par complexité, Mirowski entend quelque-chose d'analogue à la théorie de la complexité dans les sciences de l'informatique. |
| 2. | CSPs are also studied in computational complexity theory and finite model theory.
Les CSP sont aussi étudiés en théorie de la complexité des algorithmes et en théorie des modèles finis. |
| 3. | In computational complexity theory, the formal language corresponding to the prime numbers is denoted as PRIMES.
En théorie de la complexité, le problème PRIMES est le langage formel qui contient les nombres premiers. |
| 4. | The PCP theorem, a major result in computational complexity theory, states that PCP = NP.
Le théorème PCP, qui est un résultat majeur de la théorie de la complexité informatique, énonce que PCP = NP. |
| 5. | Indeed, the only function commonly used in complexity theory that grows more slowly is the inverse Ackermann function.
Une fonction usuelle en informatique théorique qui croît encore plus lentement est la réciproque de la fonction d'Ackermann. |
| 6. | Finding a largest 3-dimensional matching is a well-known NP-hard problem in computational complexity theory.
Trouver un appariement à 3 dimensions de taille maximum est un problème NP-complet bien connu en théorie de la complexité informatique. |
| 7. | In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem.
En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant un problème en un autre. |
| 8. | It is rather loosely conjectured that the difficulties may lie in the realm of computational complexity theory.
Il est assez vaguement conjecturé que les difficultés pourraient se trouver dans le domaine de la théorie de la complexité des algorithmes. |
| 9. | In computational complexity theory, a nonelementary problem is a problem that is not a member of the class ELEMENTARY.
En théorie de la complexité, un problème non élémentaire est un problème de décision qui n'est pas dans la classe ELEMENTARY. |
| 10. | Time-constructible functions are used in complexity theory results such as the time hierarchy theorem.
Les fonctions constructibles en temps sont utilisées dans certains théorèmes de la théorie de la complexité, tels que le théorème de hiérarchie en temps déterministe. |
